/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL_SERIAL_H
#define KERNEL_SERIAL_H

#include <stdint.h>

void serial_init(void);

void uart_tx_b(char ch);

/* Functions for printing BEFORE the MMU is enabled. */
void early_putlf(void);
void early_putx(uint32_t p);
void early_putc(char c);
void early_puts(const char *str);

#endif /* ! KERNEL_SERIAL_H */
